Formal Perspectives on Conceptualization of Cyberspace
نویسندگان
چکیده
منابع مشابه
Formal Specification Using Agents Conceptualization
This paper tries to bridge the gap from agent conceptualization to formal specification in the field of requirement engineering. The IAM (Intentionnal Agent Method) approach aims to integrate the agent ontology with Time Petri Nets (TPN) in the development process helps in the construction of efficient and safe large software system. TPNs deals formally with concurrency. Mathematically, it allo...
متن کاملTowards Formal Speciication and Veriication in Cyberspace
A formal framework for speciication and veriication of multi-agent systems is developed. Speciication of an infrastructure created by a mobile agent platform is presented. On the basis of the speciication, the notions of common ontology core, and agent's knowledge are introduced. A simple agent architecture is presented. Given agents' knowledge and decision mechanisms, model checking method is ...
متن کاملA formal approach to hydrological model conceptualization
A two-stage formal approach to hydrological model conceptualization is described. The approach requires the definition of hydrological variables in terms of states and rates, the construction of state-rate diagrams and the definition of equations for the rates based on an indepth understanding of the related hydrological processes. It is inferred that the approach can help modellers arrive at m...
متن کاملFormal-Driven Conceptualization and Prototyping of Hypermedia Applications
In this paper we present an approach that covers the conceptualization and prototyping phases of hypermedia applications development. This approach is based on a formal model, Pipe, adequate to characterize present hypermedia applications. Pipe is used to demonstrate the conceptualization and prototyping phases of the Fraternali/Ginige-Lowe process model, providing a new process model called Pl...
متن کاملTowards Formal Speci cation and Veri cationin Cyberspace ?
A formal framework for speciication and veriication of multi-agent systems is developed. Speciication of an infrastructure created by a mobile agent platform is presented. On the basis of the speciication, the notions of common ontology core, and agent's knowledge are introduced. A simple agent architecture is presented. Given agents' knowledge and decision mechanisms, model checking method is ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Advanced Trends in Computer Science and Engineering
سال: 2020
ISSN: 2278-3091
DOI: 10.30534/ijatcse/2020/282942020